Modellierung und Analyse von Eingebetteten Systemen

Lecturers	Oliver Bringmann HeadOliver Bringmann Walter Lange
Lecture	Mi, 10 c.t. - 12 Uhr Informatik/Astronomie - Hörsaal A104 [Informatik] - A104
Instructor	Dustin Peterson AlumniDustin Peterson
Tutorial	Mi, 12 s.t. - 14 Uhr, Hörsaal A104. (Erster Termin: 30. Oktober 2013)
Amount	Vorlesung + Übungen: 2+2 SWS (4 LP)
Entry in course catalog	Campus

Beschreibung

Einbettete Systeme, wie z.B. Smart Phones, Navigations-, Fahrerassistenz- und Heimautomatisierungssysteme, haben im letzten Jahrzehnt die Veränderungen in der Daten-, Kommunikations- und Automobiltechnik stark geprägt und sind zu einem festen Bestandteil des täglichen Lebens geworden. Die damit verbundenen steigenden Anforderungen nach Leistungsfähigkeit, Komfort, Zuverlässigkeit und Sicherheit führen zu einer wachsenden Komplexität und Vernetzung eingebetteter Systeme, die neue Spezifikations- und Entwurfsverfahren bedürfen. Dabei müssen frühzeitig die Auswirkungen der zugrundeliegenden Hardware-Architektur bei der Entwicklung der eingebetteten Software berücksichtigt und das Zusammenspiel der Software mit der zugrundeliegenden Hardware hinsichtlich Performanz, Leistungsaufnahme, Energieeffizienz, Zuverlässigkeit und Robustheit analysiert werden. In dieser Vorlesung werden die aktuellen Forschungs- und Entwicklungstrends im Entwurf eingebetteter Systeme aufgezeigt, um die Studierenden frühzeitig an ein Thema mit hoher Industrierelevanz heranzuführen, wobei sowohl theoretisches Basiswissen als auch domänenspezifische Anwendungskompetenzen vermittelt werden. Themen diese Vorlesung sind:

• Modellierung von Eingebetteten Systemen
• Domänenspezifische Sprachen und Berechnungsmodelle (Models of Computation)
• Hardware/Software-Codesign
• Plattformbasierter Entwurf
• Virtual Prototyping
• Echtzeitsysteme und Ablaufplanungsverfahren (Task-Scheduling)
• Performanzanalyse und Echtzeitaspekte
• Analyse von Energieeffizienz und Leistungsaufnahme
• Moderne Entwicklungsmethoden im Automotiven Bereich auf der AUTOSAR-Plattform

In den Übungen werden einige dieser Themen durch selbstständige Bearbeitung entsprechender Probleme vertieft.

Bemerkung

Die Organisation der Übungen (Gruppeneinteilung, Bekanntgabe von Zeiten und Räumen usw.) findet in der ersten Vorlesungstunde statt.

Voraussetzungen

Empfohlen wird INF 4312 Entwurf und Synthese von Eingebetteten Systemen

Literatur

• P. Marwedel. Eingebettete Systeme. Springer, 2007
• D.D. Gajski et al. Embedded System Design. Springer, 2009.
• C. Haubelt, J. Teich: Digitale Hardware/Software-Systeme: Spezifikation u. Verifikation, Springer 2010
• J. Teich, C. Haubelt: Digitale Hardware/Software-Systeme: Synthese u. Optimierung, Springer 2007
• W. Lange und M. Bogdan: Entwurf n Synthese von Eingebetteten Systemen, Oldenbourg 2013